שיעור 11 - עצי חיפוש בינאריים שנבנו באופן אקראי: הוכחת ניתוח הסיבוכיות